Heyting相关论文
通过在格上定义等价关系，给出了分配格，Heyting代数，Boolean代数的一致等价刻画。由此得到了Heyting代数与Boolean代数分解定理．......
分析HO -代数的性质，利用同余关系介绍f -滤子是余核滤子的充要条件；并且，采用构造辅助滤子证明所有f -滤子的集合是一个Heyting -代......
